Implementing Taylor models arithmetic with floating-point arithmetic
نویسنده
چکیده
The implementation of Taylor models arithmetic may use floating-point arithmetic to benefit from the speed of the floatingpoint implementation. The issue is then to take into account the roundoff errors. Here, we assume that the floating-point arithmetic is compliant with the IEEE-754 standard. We show how to get tight bounds of the roundoff errors, and more generally how to get high accuracy for the coefficients as well as for the bounds on the roundoff errors.
منابع مشابه
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
The goal of this paper is to prove that the implementation of Taylor models in COSY, based on floating-point arithmetic, computes results satisfying the “containment property”, i.e. guaranteed results. First, Taylor models are defined and their implementation in the COSY software by Makino and Berz is detailed. Afterwards IEEE-754 floating-point arithmetic is introduced. Then the core of this p...
متن کاملDesigning Of Pipelined Architecture of Arithmetic Core and Analysis of Area and Timing Performance
The aim of this paper is designing of pipelined architecture of arithmetic core and analysis of area and timing performance of that arithmetic core consisting of fixed point as well as floating point arithmetic cores. The basic concept behind designing such a core is to optimally utilize the algorithms of fixed point as well as floating point arithmetic operations, i.e., addition, subtraction d...
متن کاملA Hierarchical Block-Floating-Point Arithmetic
In order to give an answer to a question of the arithmetic in future DSP architectures for mobile communication applications, the signal processing quality of different arithmetic representations has been studied. Based on the result, a new approach for implementing block-floating-point arithmetic is proposed. This approach intends to preserve the least-significant-bits (LSBs) to improve signal...
متن کاملRealization of Digital Filters Using Block- Floating-point Arithmetic
Recently, statistical models for the effects of roundoff noise in fixedpoint and floating-point realizations of digital filters have been proposed and verified, and a comparison between these realizations presented. In this paper a structure for implementing digital filters using block-floating-point arithmetic is proposed and a statistical analysis of the effects of roundoff noise is carried o...
متن کاملEfficient quantization and fixed-point representation for MIMO turbo-detection and turbo-demapping
In the domain of wireless digital communication, floating-point arithmetic is generally used to conduct performance evaluation studies of algorithms. This is typically limited to theoretical performance evaluation in terms of communication quality and error rates. For a practical implementation perspective, using fixed-point arithmetic instead of floating-point reduces significantly implementat...
متن کامل